Konstantin Läufer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Semantics of Triveni: A process-Algebraic API for Threads + Events

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.50 MB

english, 1998

2

Sisl: Several Interfaces, Single Logic

Thomas Ball, Christopher Colby, Peter Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor

Journal:

International Journal of Speech Technology

Year:

2000

Language:

english

File:

PDF, 335 KB

english, 2000

3

Essential Tools: Version Control Systems

Hinsen, Konrad, Läufer, Konstantin, Thiruvathukal, George K.

Journal:

Computing in Science & Engineering

Year:

2009

Language:

english

File:

PDF, 30.45 MB

english, 2009

4

A Hike through a Post-EJB J2EE Web Application Architecture, Part III

Konstantin Laufer, George K. Thiruvathukal, Benjamin Gonzalez

Journal:

Computing in Science & Engineering

Year:

2007

Language:

english

File:

PDF, 2.58 MB

english, 2007

5

[IEEE 2010 IEEE International Conference on Electro/Information Technology (EIT 2010) - Normal, IL, USA (2010.05.20-2010.05.22)] 2010 IEEE International Conference on Electro/Information Technology - Online Layered File System (OLFS): A layered and versioned filesystem and performance analysis

Kaylor, Joe, Laufer, Konstantin, Thiruvathukal, George K.

Year:

2010

Language:

english

File:

PDF, 215 KB

english, 2010

6

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - GroupSpeak: High-level Language Extension for Workflow Capability

Gutman, Moshe, Radhakrishnan, Sridhar, Kim, Changwook, Sekharan, Chandra N., Laufer, Konstantin

Year:

2009

Language:

english

File:

PDF, 160 KB

english, 2009

7

[IEEE 2008 IEEE International Conference on Electro/Information Technology (EIT 2008) - Ames, IA, USA (2008.05.18-2008.05.20)] 2008 IEEE International Conference on Electro/Information Technology - Taming XML: Objects first, then markup

Bone, Matt, Nabicht, Peter F., Laufer, Konstantin, Thiruvathukal, George K.

Year:

2008

Language:

english

File:

PDF, 93 KB

english, 2008

8

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - A Model-Driven Approach to Job/Task Composition in Cluster Computing

Mehta, Neeraj, Kanitkar, Yogesh, Laufer, Konstantin, Thiruvathukal, George K.

Year:

2007

Language:

english

File:

PDF, 149 KB

english, 2007

9

[IEEE 2012 IEEE International Conference on Electro/Information Technology (EIT 2012) - Indianapolis, IN, USA (2012.05.6-2012.05.8)] 2012 IEEE International Conference on Electro/Information Technology - Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework

Kaylor, Joseph P., Laufer, Konstantin, Thiruvathukal, George K.

Year:

2012

Language:

english

File:

PDF, 226 KB

english, 2012

10

Automated systematic testing for constraint-based interactive services

Godefroid, Patrice, Jagadeesan, Lalita J., Jagadeesan, Radha, Läufer, Konstantin

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

11

[ACM Press the Second International Workshop - Hyderabad, India (2011.03.28-2011.03.28)] Proceedings of the Second International Workshop on RESTful Design - WS-REST '11 - RestFS

Kaylor, Joe, Läufer, Konstantin, Thiruvathukal, George K.

Year:

2011

Language:

english

File:

PDF, 1.25 MB

english, 2011

12

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Automated systematic testing for constraint-based interactive services

Godefroid, Patrice, Jagadeesan, Lalita J., Jagadeesan, Radha, Läufer, Konstantin

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

13

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Putting type annotations to work

Odersky, Martin, Läufer, Konstantin

Year:

1996

Language:

english

File:

PDF, 1.15 MB

english, 1996

14

[IEEE 2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Siegen, Germany (2015.6.8-2015.6.10)] 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - A framework architecture for student learning in distributed embedded systems

Honig, William L., Laufer, Konstantin, Thiruvathukal, George K.

Year:

2015

Language:

english

File:

PDF, 277 KB

english, 2015

15

Type classes with existential types

Läufer, Konstantin

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.55 MB

english, 1996

16

A Polyglot Approach to Bioinformatics Data Integration: A Phylogenetic Analysis of HIV-1

Reisman, Steven, Hatzopoulos, Thomas, Läufer, Konstantin, Thiruvathukal, George K., Putonti, Catherine

Journal:

Evolutionary Bioinformatics

Year:

2016

File:

PDF, 2.16 MB

2016

17

[IEEE 2017 IEEE 11th International Conference on Application of Information and Communication Technologies (AICT) - Moscow, Russia (2017.9.20-2017.9.22)] 2017 IEEE 11th International Conference on Application of Information and Communication Technologies (AICT) - Analysis of the Clinical Data in the Jupyter Environment

Yurievna, Agapova Olga, Markovich, Laufer Konstantin, Dmitrievich, Zuev Anton, Avtandilovich, Otarashvili Zurab

Year:

2017

Language:

english

File:

PDF, 343 KB

english, 2017

18

[ACM Press the Tenth ACM SIGPLAN Symposium - London, United Kingdom (2019.07.17-2019.07.17)] Proceedings of the Tenth ACM SIGPLAN Symposium on Scala - Scala '19 - Tests as maintainable assets via auto-generated spies

Laufer, Konstantin, O'Sullivan, John, Thiruvathukal, George K.

Year:

2019

Language:

english

File:

PDF, 727 KB

english, 2019

19

Cultural subcode transformation âelite - massesâ in the era of digitization

Laufer, Konstantin, Yazyev, B.

Journal:

SHS Web of Conferences

Year:

2019

File:

PDF, 1.39 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски